ACTORS - a model of concurrent computation in distributed systems
نویسنده
چکیده
ly, we may picture an actor with a mail queue on which all . communications are placed in the order in which they arrive and an actor machine8 which points to a particular cell in the mail queue. The end of a communication on the mail queue can be indicated by some special symbol reserved for the purpose.' We represent this pictorially as in Fig. 3.1. When an actor machine Xn accepts the nth communication in a mail queue, it will create a new actor machine, Xn 1, which will carry out the replacement behavior of the actor. This new actor machine will point to drance for a theoretical investigation assuming a reliable mail system. See the discussion in Section 2.4. "The mail queue will be considered large enough to hold all communications sent to a given actor. This implies that a mail queue is, in principle, unbounded, while only a finite fragment of it is used at any given point in time. This is quite similar to a readonly tape of a Turing Machine. However, the writing is done, indirectly, using the mail .1 system. 'No assumption should be made about an actor machine being sequential, indeed, an actor machine, much like machines in the real world, may have components that function " in parallel. 7Thus the variable length of a commumication is not a problem.
منابع مشابه
Actors
Actors is a model of concurrent computation for developing parallel, distributed and mobile systems. Each actor is an autonomous object that operates concurrently and asynchronously, receiving and sending messages to other actors, creating new actors, and updating its own local state. An actor system consists of a collection of actors, some of whom may send messages to, or receive messages from...
متن کامل3 Modelling Distributed Systems
MODELS FOR COMPUTATION model of distributed systems and its specification and proof techniques. In Sec. 4 we introduce the simple example of an air line reservation system and illustrate our specification and proof techniques by this example in the subsequent sections. Then we discuss our further work. 2. A MODEL OF DISTRIBUTED SYSTEMS The actor model of computation (Grief and Hewitt 1975, Grie...
متن کاملAn Object-Oriented Programming Model for Event-Based Actors
Actors are concurrent processes which communicate through asynchronous message passing. Most existing actor languages and libraries implement actors using virtual machine or operating system threads. The resulting actor abstractions are rather heavyweight, both in terms of memory consumption and synchronization. Consequently, their systems are not suited for resource-constrained devices or high...
متن کاملA Semantic Framework for Modeling and Reasoning about Reflective Middleware
are not under their control. A reflective model of distributed computation supports separation of concerns (for example, functionality and different QoS properties) and dynamic adaptation to changing environments or requirements. In such an ODS, a wide range of services and activities must execute concurrently and share resources. To avoid resource conflicts, deadlocks, inconsistencies, and inc...
متن کاملActors as a Coordinating Model of Computation
This paper relates two prominent models of concurrent computation, namely Actors and the π-calculus. We build on a thesis that proclaims – Actors enact the role of a coordinating model of computation. We enrich the Actor model by defining a mechanism for achieving a higher level of abstraction. This helps in reasoning with collections of Actors termed Actor Troupes. We identify a notion of inte...
متن کاملParallel Programming and Complexity Analysis using Actors
We describe Actors, a exible, scalable and eÆcient model of computation, and develop a framework for analyzing the parallel complexity of programs written in it. Actors are asynchronous, autonomous objects which interact by message-passing. The data and process decomposition inherent in Actors simpli es modeling realworld systems. High-level concurrent programming abstractions have been develop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990